|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 最 ： [さい] 1. (n,pref) the most 2. the extreme ・ 最小 ： [さいしょう] 【名詞】 1. smallest 2. least ・ 多 ： [た] 1. (n,pref) multi- ・ 多項式 ： [たこうしき] (n) polynomial ・ 式 ： [しき] 1. (n,n-suf) (1) equation 2. formula 3. expression 4. (2) ceremony 5. (3) style ・ 論 ： [ろん] 【名詞】 1. (1) argument 2. discussion 3. dispute 4. controversy 5. discourse 6. debate 7. (2) theory 8. doctrine 9. (3) essay 10. treatise 1 1. comment
数学の分野である体論において、最小多項式（さいしょうたこうしき、）は体の拡大 ''E''/''F'' と拡大体 ''E'' の元に対して定義される。元の最小多項式は、存在すれば、''x'' を変数とする ''F'' 上の多項式環 ''F'' の元である。''E'' の元 ''α'' が与えられたとき、''J''''α'' を ''f''(''α'') = 0 なる ''F'' のすべての多項式 ''f''(''x'') の集合とする。元 ''α'' は ''J''''α'' の各多項式の根あるいは零点と呼ばれる。集合 ''J''''α'' は ''F'' のイデアルであるからそのように名づけられている。すべての係数が 0 である零多項式は、すべての ''α'' と ''i'' に対し 0''α''''i'' = 0 であるから、すべての ''J''''α'' に属している。そのため零多項式は異なる値の ''α'' を分類するには役に立たないから、除外される。''J''''α'' に零でない多項式が存在すれば、''α'' は ''F'' 上代数的な元と呼ばれ、''J''''α'' の中に最小次数のモニック多項式が存在する。これが ''E''/''F'' に関しての ''α'' の最小多項式である。これは一意的で、''F'' 上既約である。零多項式が ''J''''α'' の唯一の元であれば、''α'' は ''F'' 上超越的な元と呼ばれ、''E''/''F'' に関して最小多項式は存在しない。 最小多項式は体の拡大を構成したり解析したりするときに有用である。''α'' が代数的で最小多項式が ''a''(''x'') のとき、''F'' と ''α'' をともに含む最小の体は商環 ''F''/(''a''(''x'')) に同型である。ここで (''a''(''x'')) は ''a''(''x'') によって生成された ''F'' のイデアルである。最小多項式はを定義するためにも使われる。 == 定義 == ''E''/''F'' を体の拡大とし、α を ''E'' の元とし、''F'' を ''F'' 上の ''x'' の多項式の環とする。''α'' の最小多項式は ''α'' を根として持つ ''F'' の 0 でないすべての多項式のうち次数が最小のモニック多項式である。最小多項式は ''α'' が ''F'' 上代数的なとき、すなわち、ある零でない多項式 ''f''(''x'') ∈ ''F'' に対して ''f''(''α'') = 0 であるとき、存在する。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「最小多項式 (体論)」の詳細全文を読む スポンサード リンク
|